A unified framework for declarative debugging and testing
نویسندگان
چکیده
منابع مشابه
A Theoretical Framework for the Declarative Debugging of Datalog Programs
The logic programming language Datalog has been extensively researched as a query language for deductive databases. Although similar to Prolog, the Datalog operational mechanisms are more intricate, leading to computations quite hard to debug by traditional approaches. In this paper, we present a theoretical framework for debugging Datalog programs based on the ideas of declarative debugging. I...
متن کاملToward an Integrated Framework for Declarative and Interactive Spreadsheet Debugging
Spreadsheet applications can nowadays be found nearly everywhere in companies and are used for a variety of purposes. Because of the high risk that arises when business decisions are based on faulty spreadsheets, in recent years new approaches for spreadsheet quality assurance have been proposed. Among them are techniques that allow for more intelligent tool support during the spreadsheet test ...
متن کاملA Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming
Debugging tools are a practical need for helping programmers to understand why their programs do not work as intended. Declarative programming paradigms involving complex operational details, such as constraint solving and lazy evaluation, do not fit well to traditional debugging techniques relying on the inspection of low-level computation traces. As a solution to this problem, and following a...
متن کاملA Declarative Debugging Scheme
We present a very simple but flexible declarative debugging scheme. A Abstract-1 declarative debugger can be defined in Prolog with a single clause, and relies on the definition of just two additional predicates. With suitable definitions of these predicates, the debugger can diagnose several classes of bugs in many languages. We give examples of diagnoses of wrong answers in functional, relati...
متن کاملTowards a Unified Framework for Declarative Structured Communications
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 2021
ISSN: 0950-5849
DOI: 10.1016/j.infsof.2020.106427